Agent Coordination Contexts for the formal specification and enactment of coordination and security policies
نویسندگان
چکیده
منابع مشابه
Process Enactment and Coordination
This paper investigates the relationship between systems to enact software processes and systems to coordinate distributed, heterogeneous and concurrent objects. In particular, we describe in detail how one of these coordination systems systems—the “Coordination Language Facility” (CLF), developed at the Rank Xerox Research Centre—can be used to model and execute a sample software development p...
متن کاملFormal Specification and Validation of Security Policies
We propose a formal framework for the specification and validation of security policies. To model a secured system, the evolution of security information in the system is described by transitions triggered by authorization requests and the policy is given by a set of rules describing the way the corresponding decisions are taken. Policy rules are constrained rewrite rules whose constraints are ...
متن کاملAgent Coordination Contexts: Experiments in TuCSoN
The notion of agent coordination context has been introduced as a means to model and shape the space of agent interaction and communication, and the agent presence in a situated environment. This paper describes experiments in modelling and developing the notion of agent coordination context within the TuCSoN model for agent coordination, and discusses the related benefits in terms of the engin...
متن کاملsupply and demand security of energy in central asia and the caucasus
امنیت انرژی به معنی عرضه مداوم و پایدار همراه با قیمت های معقول در حامل های انرژی، که تهدیدات امنیتی، سیاسی، اقتصادی، محیط زیستی و روانی را کاهش دهد. امروزه نفت و گاز تنها، کالای تجاری نیست بلکه بعنوان ابزار سیاسی مورد استفاده قرار می گیرد.اختلاف میان روسیه و اکراین بر سر انرژی در ژانویه 2006، تهدیدی برای امنیت انرژی اروپا ایجاد کرد. در این تحقیق ما تلاش کردیم که نقش انرژی آسیای میانه و قفقاز ر...
15 صفحه اولcoordination of protective schemes in distribution and subtransmission systems including distributed generation
نصب منابع پراکنده در سیستم های توزیع و فوق توزیع علاوه بر مزیت های فراوان، مشکلاتی را هم به همراه دارد. یکی از این مشکلات تأثیر این منابع روی اندازه جریان های اتصال کوتاه است. به طور معمول از حفاظت های مبتنی بر اصل جریان زیاد در سیستم های توزیع و فوق توزیع استفاده می شود. از مهمترین طرح های حفاظتی استفاده شده در فیدرهای توزیع، حفاظت فیوز- ریکلوزر است. همچنین از طرح های حفاظتی جریان زیاد جهتی در...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2006
ISSN: 0167-6423
DOI: 10.1016/j.scico.2005.07.014